An introduction to Mezzo
نویسندگان
چکیده
We present the design of Mezzo, a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory. A balance between simplicity and expressiveness is achieved by marrying a static discipline of permissions and a dynamic mechanism of adoption and abandon.
منابع مشابه
Mezzo, a paired-like homeobox protein is an immediate target of Nodal signalling and regulates endoderm specification in zebrafish.
Endoderm specification in zebrafish is mediated by the zygotic transcription factors Bon/Mixer, Faust/Gata5, Casanova and Sox17, whose expression is induced by Nodal signalling. Bon/Mixer and Gata5 require Casanova in order to promote endoderm formation and all three factors act upstream of sox17, but it is not clear whether Casanova acts downstream of or in parallel to Bon/Mixer and Gata5. An ...
متن کاملMezzo: a typed language for safe effectful concurrent programs. (Mezzo: un langage typé pour programmer de manière concurrent et sure en présence d'effets)
The present dissertation argues that better programming languages can be designed and implemented, so as to provide greater safety and reliability for computer programs. I sustain my claims through the example of Mezzo, a programming language in the tradition of ML, which I co-designed and implemented. Programs written in Mezzo enjoy stronger properties than programs written in traditional ML l...
متن کاملIllustrating the Mezzo programming language
When programmers want to prove strong program invariants, they are usually faced with a choice between using theorem provers and using traditional programming languages. The former requires them to provide program proofs, which, for many applications, is considered a heavy burden. The latter provides less guarantees and the programmer usually has to write run-time assertions to compensate for t...
متن کاملType soundness for Core Mezzo
Mezzo is a programming language in the tradition of ML. It offers algebraic data types, first-class functions, and a system of duplicable or affine permissions that controls aliasing and access to mutable memory. We present a formal definition of Core Mezzo, an explicitly-typed calculus that underlies Mezzo, and establish the soundness of its type and permission system. Our definitions and proo...
متن کاملThe ins and outs of iteration in Mezzo
This is a talk proposal for HOPE 2013. Using iteration over a collection as a case study, we wish to illustrate the strengths and weaknesses of the prototype programming language Mezzo.
متن کامل